Upward Stability Transfer for Tame Abstract Elementary Classes

نویسندگان

  • John Baldwin
  • David W. Kueker
  • Monica Van Dieren
چکیده

Grossberg and VanDieren have started a program to develop a stability theory for tame classes (see [GrVa1]). We name some variants of tameness (Definitions 1.4 and 1.7) and prove the following. Theorem 0.1. Let K be an AEC with Löwenheim-Skolem number ≤ κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then, K is Galois-stable in κ for all n < ω. With one further hypothesis we get a very strong conclusion in the countable case. Theorem 0.2. Let K be an AEC satisfying the amalgamation property and with Löwenheim-Skolem number א0 that is ω-local and א0-tame. If K is א0-Galois-stable then K is Galois-stable in all cardinalities.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

. L O / 0 51 17 48 v 1 3 0 N ov 2 00 5 UPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES

Grossberg and VanDieren have started a program to develop a stability theory for tame classes (see [GrVa1]). We name some variants of tameness (Definitions 1.4 and 1.7) and prove the following. Theorem 0.1. Let K be an AEC with Löwenheim-Skolem number ≤ κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then, K is Galois-stable in κ for all n < ω. ...

متن کامل

0 N ov 2 00 5 UPWARD STABILITY TRANSFER FOR TAME ABSTRACT ELEMENTARY CLASSES

Grossberg and VanDieren have started a program to develop a stability theory for tame classes (see [GrVa1]). We name some variants of tameness (Definitions 1.4 and 1.7) and prove the following. Theorem 0.1. Let K be an AEC with Löwenheim-Skolem number ≤ κ. Assume that K satisfies the amalgamation property and is κ-weakly tame and Galois-stable in κ. Then, K is Galois-stable in κ for all n < ω. ...

متن کامل

Categoricity and Stability in Abstract Elementary Classes

Categoricity and Stability in Abstract Elementary Classes byMonica M. VanDieren This thesis tackles the classification theory of non-elementary classes from twoperspectives. In Chapter II we work towards a categoricity transfer theorem, whileChapter III focuses on the development of a stability theory for abstract elementaryclasses (AECs).The results in Chapter II are in a c...

متن کامل

Galois-stability for Tame Abstract Elementary Classes

We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper we explore stability results in this new context. We assume that K is a tame abstract elementary class satisfying the amalgamation property with no maximal model. The main results include: Theorem 0.1. Suppose ...

متن کامل

A Downward Categoricity Transfer for Tame Abstract Elementary Classes

We prove a downward transfer from categoricity in a successor in tame abstract elementary classes (AECs). This complements the upward transfer of Grossberg and VanDieren and improves the Hanf number in Shelah’s downward transfer (provided the class is tame). Theorem 0.1. Let K be an AEC with amalgamation. If K is LS(K)-weakly tame and categorical in a successor λ ≥ i(2LS(K))+ , then K is catego...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Notre Dame Journal of Formal Logic

دوره 47  شماره 

صفحات  -

تاریخ انتشار 2006